:: Integer -> Double -package:basic-prelude package:singleton-bool